Podsumowanie: Jakie jest ostateczne odniesienie lub implementacja odniesienia dla ISA na poziomie użytkownika RISC-V? Kontekst: Witryna internetowa RISC-V zawiera „Podręcznik zestawu instrukcji RISC-V”, który bardzo dobrze wyjaśnia instrukcje na poziomie użytkownika, ale nie podaje ich dokładnej specyfikacji. Próbuję teraz zbudować symulator ISA na poziomie użytkownika i zamierzam później napisać implementację FPGA, więc dokładne zachowanie jest dla mnie ważne. Implementacja referencyjna byłaby wystarczająca, ale najlepiej powinna być tak prosta, jak to tylko możliwe - tj. Spróbuję zrozumieć implementację potokową tylko w ostateczności. Ważne jest, aby zrozumieć określony ISA, a nie pojedynczą implementację procesora lub implementację kompilatora. Jednym z przykładów pokazujących mój problem jest instrukcja AUIPC: Wyjaśnienie prozy mówi, że „AUIPC tworzy 32-bitowe przesunięcie względem 20-bitowego U-natychmiastowego, wypełniając najniższe 12 bitów zerami, dodaje to przesunięcie do komputera, a następnie umieszcza wynik w rejestrze rd. " Chciałem wiedzieć, czy to dotyczy starego czy nowego komputera, czyli pozycji instrukcji AUIPC czy kolejnej instrukcji. Patrzyłem na implementację "RISCV Angel", ale wydaje się, że przesłania ona niższe bity (starego) komputera - nie tylko bezpośredniego - dla którego nie mogłem znaleźć żadnego powodu w specyfikacji, nawet w historia zmian specyfikacji (ponieważ Angel jest nieco starszy). Zamiast odpowiedzi mam teraz dwa pytania dotyczące AUIPC. Wiele innych instrukcji nastręcza mi podobnych problemów.
2021-01-16 08:16:47
ODPOWIEDŹ, zacytowana instrukcja zestawu instrukcji RISC-V jest najbardziej zbliżona do ostatecznego odniesienia. Jeśli są tam niejasne lub niepoprawne rzeczy, możesz otworzyć problemy w witrynie Github, w której ten dokument jest utrzymywany: https://github.com/riscv/riscv-isa-manual
Jeśli chodzi o AIUPC, odpowiedź jest implikowana, ale nie jest wyraźnie określona, w tym zdaniu na dole strony 9 w bieżącym podręczniku:
Jest jeszcze jeden rejestr widoczny dla użytkownika: licznik programu pc przechowuje adres aktualnej instrukcji.
Opierając się na tym stwierdzeniu, spodziewałbym się, że wartość pc, która jest widziana i modyfikowana przez instrukcję AIUPC, jest adresem samej instrukcji AIUPC.
Ta interpretacja jest poparta omówieniem instrukcji JALR:
Pośrednia instrukcja skoku JALR (rejestr skoku i łącza) wykorzystuje kodowanie typu I. Adres docelowy uzyskuje się przez dodanie 12-bitowego I-bezpośredniego ze znakiem do rejestru rs1, a następnie ustawienie najmniej znaczącego bitu wyniku na zero. Adres instrukcji po skoku (pc + 4) jest wpisywany do rejestru rd.
Biorąc pod uwagę, że adres kolejnej instrukcji jest wyrażony jako pc + 4, wydaje się jasne, że wartość pc widoczna podczas wykonywania JALR jest adresem samej instrukcji JALR.
Najnowsza wersja podręcznika (na https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) sprawia, że sytuacja jest nieco jaśniejsza. Zamiast tego w aktualnej instrukcji:
AUIPC dołącza 12 najmniej znaczących bitów zerowych do 20-bitowego U-natychmiastowego, znak rozszerza wynik do 64 bitów, następnie dodaje go do komputera i umieszcza wynik w rejestrze rd.
najnowszy projekt mówi:
AUIPC tworzy 32-bitowe przesunięcie z 20-bitowego U-natychmiastowego, wypełniając najniższe 12 bitów zerami, dodaje to przesunięcie do pc instrukcji AUIPC, a następnie umieszcza wynik w rejestrze rd.
|
Twoja odpowiedź
StackExchange.ifUsing ("editor", function () {
StackExchange.using ("externalEditor", function () {
StackExchange.using ("snippets", function () {
StackExchange.snippets.init ();
});
});
}, "fragmenty kodu");
StackExchange.ready (function () {
var channelOptions = {
tagi: „” .split („”),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", function () {
// Muszę uruchomić edytor po fragmentach, jeśli fragmenty są włączone
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("snippets", function () {
createEditor ();
});
}
else {
createEditor ();
}
});
function createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: prawda,
przyrostek: "",
imageUploader: {
brandingHtml: „Obsługiwane przez \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" ikona-svg \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7,94324 47,1084 7,58816C47.4091 7,46349 47,7169 7,36433 48,0099 7,26993C48.9099 6,97997 49,672 6,73443 49,672 5,93063C49.672 5,22043 48,9832 4,61182 48,1414 4,61182C47.4335 4,61182 46,7256 4,9256,43,43354,61182 46,7256 4,9168,60 468,56 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46,1709 13.2535 46,1709 11,9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419C4184184.492 1448.1709 41,5985 12,6954 41,5985 10,1419V6,59049C41,5985 5,28821 41,1394 4,66232 40,1061 4,66232C39.0732 4,66232 38,5948 5,28821 38,5948 6,59049V9.60062C38,5948 10,8521 38,2696 11,5455 37,0451 11,5455C35 521 35,4954 9,60062V6,59049C35,4954 5,28821 35,0173 4,66232 34,0034 4,66232C32,9703 4,66232 32,492 5,28821 32,492 6,59049V10,1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = d = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.663.4.865 C287.4659.465104.6659.5785.75. .1369 4,56087 21,0134 6,57349 21,0134 9,27932C21.0134 11,9852 23,003 13,913 25,3754 13,913C26,5612 13,913 27,4607 13,4902 28,1109 12,6616C28.1109 12,7229 28.1161 12,7799 28,121 12,8341C28.1256 12,8341308,1253 28,1302,83 28,1302,130,130,130,125,8341301 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM97 24.6335ZM97 24.6335ZM24. 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626,1024 11,5116C24,9737 11,5116 24,1317 10,6491 24,1317 9,27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11,9512C16.8045 13,2535 17,2637 13,8962 18,2965 13,8962C19.3298 13,828V 11,802879 13,28. 16,4027 4,62866C15,1594 4,62866 14,279 4,9466 13,3609 5,88013C12,653 5,05154 11,6581 4,62866 10,3573 4,62866C9.34336 4,62866 8,57809 4,89931 7,9466 5,5079C7,58314,2578,59328 7,10506 4,66232 6,5120 6,51203 13,8962C7,54479 13,8962 8,0232 13,2535 8,0232 11,9512V8.90741C8.0232 7. 9157 7,58817 14,3365 6,91179 15,4269 6,91179C16.4027 6,91179 16,8045 7,58817 16,8045 8,94108V11,9512Z \ "/ \ u003e \ u003cpath d = \" M3.31675 6,59049C3,31675 5,28821 2,83866 4,66232 1,8C2471 4,66232 0,791758 4,66232 0,313354 5,28821 0,313354 6,59049V11,9512C0,313354 13,2535 0,791758 13,8962 1,82471 13,8962C2,85798 13,8962 3,31675 13,2535 3,31675 11,9512V6,59049Z \ "/ u003e \ u003,8M2012001 0,09 1,98861C0 2,87869 0,822846 3,57676 1,87209 3,57676C2,90056 3,57676 3,7234 2,87869 3,7234 1,98861C3,7234 1,1159 2,90056 0,400291 1,87209 0,400291Z \ "fill = \" # 1BB76E \ "/ \ u003e \ u003c / s ,
contentPolicyHtml: "Wkład użytkowników licencjonowany na mocy \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / legal / content-policy \ "\ u003e (polityka treści) \ u003c / a \ u003e",
allowUrls: true
},
onDemand: prawda,
discardSelector: ".discard-answer"
, natychmiastShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Dziękujemy za przesłanie odpowiedzi na temat Stack Overflow!
Nie zapomnij odpowiedzieć na pytanie. Podaj szczegóły i udostępnij swoje badania!
Ale unikaj…
Proszenie o pomoc, wyjaśnienia lub odpowiadanie na inne odpowiedzi.
Wygłaszanie oświadczeń na podstawie opinii; Poprzyj je referencjami lub osobistym doświadczeniem.
Aby dowiedzieć się więcej, zapoznaj się z naszymi wskazówkami dotyczącymi pisania świetnych odpowiedzi.
Wersja robocza zapisana
Wersja robocza odrzucona
Zarejestruj się lub zaloguj
StackExchange.ready (function () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Zarejestruj się za pomocą Google
Zarejestruj się za pomocą Facebooka
Zarejestruj się przy użyciu adresu e-mail i hasła
Zatwierdź
Opublikuj jako gość
Nazwa
E-mail
Wymagane, ale nigdy nie pokazywane
StackExchange.ready (
function () {
StackExchange. , „question_page”);
}
);
Opublikuj jako gość
Nazwa
E-mail
Wymagane, ale nigdy nie pokazywane
Opublikuj swoją odpowiedź
Odrzucać
Klikając „Opublikuj odpowiedź”, akceptujesz nasze warunki korzystania z usługi, politykę prywatności i politykę dotyczącą plików cookie
Nie szukasz odpowiedzi? Przeglądaj inne pytania oznaczone tagiem riscv lub zadaj własne pytanie.